...

提出一新型并发计算模型－ｘ－演算，它与π－演算的不同之处在于；具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作作界定，允许更大......

在新型并发计算模型－Ｘ－演算的基础上进一步研究高价Ｘ－演算，并从代数性质，递归能力等方面研究该计算模型，该演算的特点是它的对称性。......

用π－演算刻划ＣＯＲＢＡ／ＩＩＯＰ环境下涉及多个ＯＲＢ的分布式对象计算过程，重点描述多个ＯＲＢ之间的互操作过程，构造了一个高度简化的ＣＯＲＢＡ／ＩＩＯＰ的π演算模型，借助于这个模型......

As a variant of process algebra, π-calculus can describe the interactions between evolving processes. By modeling activ......

定义了服务的基调视图和行为视图,接着设计了将Web服务行为转化为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自......

本文提出消除π－演变中无卫递归的公理，证明了将该公理加入到正则π演算受卫递归子集上的证明系统后，所得到的证明系统在π－演算全体正......